EVOLVE
Evolutionary Verification, Validation and Certification
Cancel
Search
:
^l
Research/EVOLVE Web
Changed
Changed by
LocalTasks
26 Oct 2011 - 13:50 - r3
AlcinoCunha
Definição de métodos formais para especificações e arquitectura Esta tarefa propõe a introdução de métodos formais na definição e modelação de requisitos e arquitectura ...
LocalTeam
26 Oct 2011 - 13:56 - r3
AlcinoCunha
Local Team Alcino Cunha Nuno Oliveira Soares Barbosa Collaborators Sousa Pinto João Frade Melo de Sousa Students Ana Garis ...
Found
2
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM